Towards an algebraic theory of Boolean circuits
نویسندگان
چکیده
منابع مشابه
Towards an Algebraic Theory of Boolean Circuits
Boolean circuits are used to represent programs on finite data. Reversible Boolean circuits and quantum Boolean circuits have been introduced to modelize some physical aspects of computation. Those notions are essential in complexity theory, but we claim that a deep mathematical theory is needed to make progress in this area. For that purpose, the recent developments of knot theory is a major s...
متن کاملTowards an Algebraic Theory of Bidirectional Transformations
Bidirectional transformations are important for model-driven development, and are also of wide interest in computer science. In this paper we present early work on an algebraic presentation of bidirectional transformations. In general, a bidirectional transformation must maintain consistency between two models, either of which may be edited, and each of which may incorporate information not rep...
متن کاملTowards an algebraic theory of information integration
Information integration systems provide uniform interfaces to varieties of heterogeneous information sources. For query answering in such systems, the current generation of query answering algorithms in local-as-view (source-centric) information integration systems all produce what has been thought of as ”the best obtainable” answer, given the circumstances that the sourcecentric approach intro...
متن کاملTowards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a channel, to write to a channel, and both to read and to write. They also give rise to a natural and powerful subtyping relation. Two variants of typed bisimilarity are considered, both in their late and in their early ve...
متن کاملAn algebraic description of Boolean functions
We compute the non-linearity of Boolean functions with Gröbner basis techniques. Moreover, we extend our approach to classify functions with maximum non-linearity.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2003
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(03)00069-0